Сравнение языков программирования

Материал из Википедии — свободной энциклопедии

Текущая версия [показать стабильную версию] (сравнить)

Данная версия страницы не проверялась участниками с соответствующими правами. Вы можете прочитать последнюю проверенную или т. н. стабильную версию от 16 октября 2009, однако она может значительно отличаться от текущей версии. Проверки требуют 13 правок.

Перейти к: навигация, поиск

Условные обозначения
+	Указанная возможность присутствует
-	Указанная возможность отсутствует
+/-	Возможность поддерживается не полностью
-/+	Возможность поддерживается очень ограниченно
?	Нет данных
x	Постановка вопроса не применима к языку

В приведенной ниже таблице отмечено наличие или отсутствие тех или иных возможностей в некоторых популярных сегодня языках программирования. Столбцы упорядочены по алфавиту. Если возможность в языке недоступна напрямую, но может быть эмулирована с помощью других средств, то в таблице отмечено, что её нет.

При заполнении таблицы учтены только фактические данные, при том, что наличие возможности не обязательно является преимуществом языка, а отсутствие — недостатком.

[править] Парадигмы

Возможность\Язык	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml
Императивный	+	+	+	+	+	+	-	+	+	+	+	+ ^[1]	+	+	+	+	+	+	+	+	+	+	+	+
Объектно-ориентированный	+	-	+	+	+	+	- ^[2]	+	+	+	+ ^[3]	- ^[4]	+	+	+	+	+	+	+	+	+	+	+	+
Функциональный	-	-	-/+	+/-	+/-	+/-	+	+	+	-	+	+	+	+	+	+/-	+/-	+	+	+	+	+/-	-/+	+
Рефлексивный	-	-	-	-/+	-	?	+	-/+	-/+	-/+	+	-	+	-/+	+/-	+	+	+	-/+	+	+	-/+	-/+	-
Обобщенное программирование	+	-	+	+	+	+/-	+	+	+	+	+	+	+	+	+	+	+	+	+	+	-	+	+	+
Логический	-	-	-	-	-	-	-	-	-	-	-	+/- ^[5]	+/- ^[6]	+/-	-	-	-	-	?	+/-	-	-	-	-
Декларативный	-	-	-	+/-	-/+	?	+	+	+	-	-	+	+ ^[7]	+	-/+ ^[8]	+	+	+	+	+/-	-	+/-	-	+
Распределенный	+ ^[9]	+/- ^[10]	+/- ^[10]	-/+ ^[11]	-	+	+	-	-/+	-	-	+ ^[12]	+/-	-	-	-	-/+	-/+	?	+/-	?	-	-	-
	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml

[править] Типизация

Возможность\Язык	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	пэхэпэ!11	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml
Статическая типизация	+	+	+	+	+	+	-	+	+	+	-	+	+/- ^[13]	+	+/- ^[14]	-	-	-	+	+/- ^[15]	-	+	+	+
Динамическая типизация	-	-	-	+ ^[16]	-	-	+	-/+ ^[17]	+	-	+	+ ^[18]	+	-	+	+	+	+	-	+	+	+ ^[19]	+ ^[20]	-
Явная типизация	+	+	+	+	+	+	-/+ ^[21]	+	+	+	-	+	+/- ^[13]	+	-/+ ^[22]	+/-	+/- ^[23]	-	+	+/- ^[24]	-	+	+	+
Неявная типизация	-	-	-/+	+/-	+	-	+	+	+	-	+	+	+	+	+	+	+	+	+	+	+	+	-	+
Неявное приведение типов без потери данных	-/+ ^[25]	+	+	+	+	+	-	-	+	+	+	-	+	+	+	+	+	+	?	+	+	+	+	-
Неявное приведение типов с потерей данных	-	+	+	-	+	-	-	-	-	-	?	-	-	?	+ ^[26]	+	-	-	?	+	+	+	+	-
Неявное приведение типов в неоднозначных ситуациях	-	+	+	+	+	-	-	-	-	-	+	-	-	+	+ ^[27]	+	-	-	?	-	+	+	-	-
Алиасы типов	+	+	+	+	+	-	x	+	-	-	x	+	+ ^[28]	+	x	x	x	x	?	?	x	-	+	+
Вывод типов переменных из инициализатора	-	-	-	+	+	-	x	+	-	-	x	+	+/- ^[29]	+	x	x	x	x	+	?	x	+	-	+
Вывод типов переменных из использования	-	-	-	-	-	-	x	+	-	-	x	+	+/- ^[29]	+	x	x	x	x	?	?	x	?	-	+
Вывод типов-аргументов при вызове метода	-	-	+	+	+	+	x	+	+	+	x	+	+/- ^[29]	+	x	x	x	x	+	?	x	+	-	+
Вывод сигнатуры для локальных функций	-	-	-	-	?	-	x	+	-	-	x	+	+/- ^[29]	+	x	?	x	x	-	?	x	?	-	+
Параметрический полиморфизм	-	x	-	+	+	+	x	+	+	+	-	+	+	+	x	+	x	x	+	?	x	+	-	+
Параметрический полиморфизм с ковариантностью	-	x	-	+/- ^[30]	?	+	x	+	-	-	-	x	+	+/-	?	?	x	x	+	?	x	-	-	?
Параметрический полиморфизм высших порядков	-	x	-	-	-	?	x	-	-	-	-	+	+	-	x	?	x	x	+	?	x	-	-	?
Информация о типах в runtime	-/+ ^[31]	-	-/+ ^[32]	+	+	+	+	+	+	+	+	-	+	+	+	+	+	+	+	+	+	+	+	-
Информация о типах-параметрах в runtime	-	-	-/+	+	?	?	-	+	-	-	+	-	+	+	?	+	+	?	-	?	-	+	+	-
	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml

[править] Компилятор/интерпретатор

Возможность\Язык	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	Ocaml
Open-source компилятор (интерпретатор)	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+ ^[33]	+	+	+ ^[34]	+
Возможность компиляции	+	+	+	+	+	+	-/+ ^[35]	+	+	+	+	+	+	+	+	+ ^[36]	+	+	+	+ ^[37]	-	+	+	+
Bootstrapping компилятор	+	+	+	+	-	?	+	+	+	+ ^[38]	+ ^[39]	+	+ ^[40]	+	?	x	+ ^[41]	+	+	+ ^[42]	x	?	+	+
Многопоточная компиляция	+	+	+	-	+	?	+	+	+	+	?	+	+	-	?	?	x	x	-	-	x	?	?	+
Интерпретатор командной строки	+/- ^[43]	-/+ ^[44]	+/- ^[44]	- ^[45]	-	?	+	+	+	-	+ ^[46]	+	+	+	+	+	+	+	+	+ ^[47]	+	-	-	+
Условная компиляция	+/- ^[48]	+	+	+	+	?	+	+	?	-/+ ^[49]	-/+ ^[50]	+	+ ^[51]	+	+	+	x	x	?	+	x	+	+	x
	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml

[править] Управление памятью

Язык	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml
Создание объектов на стеке	+	+	+	+	+	-/+ ^[52]	?	?	+	+	?	+/- ^[53]	+/- ^[54]	+	-	-	-	-	?	?	-	-	-/+ ^[55]	?
Неуправляемые указатели	+	+	+	+	+	-	-	-	-	- ^[56]	-	- ^[56]	- ^[56]	-	-	-	- ^[57]	-	-	+ ^[58]	-	-	+	-
Ручное управление памятью	+	+	+	+^[59]	+	-	-	-	-	- ^[56]	-	- ^[56]	- ^[56]	-	-	-	- ^[56]	-	-	+ ^[60]	-	-	+	-
Сборка мусора	-/+ ^[61]	- ^[62]	- ^[62]	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	- ^[63]	+

[править] Управление потоком вычислений

Язык	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml
Инструкция goto	+	+	+	+	+	-	-	x	-	- ^[64]	-	x	+ ^[65]	-	+	+	-	-/+ ^[66]	-	-/+ ^[67]	-	+	+	-
Инструкции break без метки	+	+	+	+	+	-	-	x	+	+	+	x	+ ^[68]	+	+	+	+	+	-	?	+	+	+	+/- ^[69]
Инструкция break с меткой	+	-	-	-	+	-	-	x	+	+	+	x	+ ^[70]	+	+	+	-	+	-	?	-	+	-	x
Поддержка try/catch	+	-	+	+	+	+ ^[71]	+	+	+	+	+	+	+ ^[72]	+	+ ^[73]	+	+	+	+	+	+	+	+	+
Блок finally	-/+ ^[74]	-	-	+	+	-	-	+	+	+	+ ^[75]	+	+ ^[76]	+	-	-	+	+	+	+	+	+	+	- ^[77]
Блок else (исключения)	-	-	-	+	-	-	+	-	+	+ ^[78]	?	+	+ ^[72]	-	+ ^[79]	-	+	+	-	?	+	+	+	+
Перезапуски	?	-	?	-	?	?	-	-	?	?	?	?	+	-	- ^[80]	?	?	?	?	?	-	-	?	?
Ленивые вычисления	?	-	-	-/+ ^[81]	-	-	-	+/- ^[82]	-	-	-	+	- ^[83]	?	-	-	+	-	?	-	-	-/+ ^[84]	-	+ ^[85]
Continuations	?	?	?	-	?	?	-	-	?	?	?	+	- ^[86]	-	?	?	+	+	?	+	+	-	?	+/- ^[87]
Легковесные процессы (Сoroutines)	-	-	-	-	-	+	+	-	?	+/- ^[88]	-	+	+/-^[89]	-	+ ^[90]	?	+/- ^[91]	?	?	+	+	-	-	+/- ^[92]

[править] Типы и структуры данных

Язык	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	VB.NET	Delphi	OCaml
Кортежи	-	-	+/- ^[93]	+/- ^[94]	+/-	+	+	+	+	-	-	+	+	+	+	-	+	+	+	+	+/- ^[94]	-	+
Алгебраические типы данных	-/+ ^[95]	-	-	-	?	?	x ^[96]	+	?	-	x ^[96]	+	x ^[96]	?	x ^[96]	x ^[96]	x ^[96]	x ^[96]	?	x ^[96]	-	-/+ ^[95]	+
Многомерные массивы	?	+/-	+/-	+	?	?	-	+	+	+/-	+/-	x ^[97]	+	+	+/-	+/-	+	+	?	?	+	+	+
Динамические массивы	?	- ^[98]	+	+	+	?	-	+	+	?	+	x ^[97]	+	+	+	+	+	+	?	?	+	+	+
Ассоциативные массивы	?	-	+	+	+	?	-	+	+	?	+	x ^[97]	+	+	+	+	+	+	?	?	+	+/-	+
Контроль границ массивов	?	-	-/+ ^[99]	+	+	+	x ^[97]	+	?	+	x ^[100]	x ^[97]	+	+	x ^[100]	x ^[100]	+	?	?	?	+	+	+ ^[101]
Цикл foreach	+/- ^[102]	-	+/- ^[103]	+	+	-	+/- ^[104]	+	+	+	+ ^[105]	+	+ ^[106]	+	+	+	+	+	+	+	+	+	+
List comprehensions	-	-	-	-/+ ^[107]	-	-	+	+	-	-	-	+	+	+	?	-	+	?	+	+	+	-	+/-
Целые числа произвольной длины	-	-	-	+ ^[108]	-	?	+	+	+	+ ^[109]	?	+	+	+ ^[108]	+	?	+	+	+ ^[110]	+	+ ^[108]	-	+ ^[111]
Целые числа с контролем границ	+	-	-	-	-	?	-	-	-	-	-	-	+ ^[112]	-	- ^[113]	-	-	?	-	?	-	+	-

[править] Объектно-ориентированные возможности

Язык	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	VB.NET	Delphi	OCaml
Интерфейсы	?	-	+/-	+	+	?	x	+	?	+	?	x	x ^[114]	+	+/- ^[115]	+	+	?	?	?	+	+	+
Мультиметоды	-	-	-	-	-	-	x	-	+	- ^[116]	-	x	+	-	- ^[116]	-	- ^[116]	- ^[116]	-	-	-	-	-
Mixins	?	-	-	-	+	?	x	?	?	-	?	x	+	?	?	?	?	+	+	+	?	+ ^[117]	?
Переименование членов при наследовании	?	x	-	-	?	+	x	-	-	-	?	x	-	-	-/+	-	-	?	?	-	-	-	?
Множественное наследование	?	x	+	-	-	+	x	-	-	-	?	x	+	-	+	-	+	?	?	-	-	-	+
Решение конфликта имен при множественном наследовании	?	x	-/+ ^[118]	x	x	+ ^[119]	x	x	?	x	?	x	+^[120]	x	+	x	+	?	?	x	x	x	?

[править] Функциональные возможности

Язык	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	VB.NET	Delphi	OCaml
Декларации чистоты функций	-	-	-	-	+ ^[121]	-	-	-	-	-	-	+	-	-	-	-	-	-	-	-	-	-	-
First class functions	?	-/+ ^[122]	-/+ ^[123]	+	+	?	+	+	+	-	+	+	+	+	+	?	+	+	+	+	?	+ ^[124]	+
Анонимные функции	?	-	-	+ ^[125]	+	?	+	+	+	-	+	+	+ ^[126]	+	+	+	+/-	+	+	+	?	+ ^[124]	+
Лексические замыкания	-	-	-	+	+	+	+	+	+	-	+	+	+	+	+	?	+	+	+	+	+	+ ^[124]	+
Каррирование	-	-	-	-	-	-	-	+	-	-	-	+	-	-	-	-	-	-	+	-	-	-	+

[править] Разное

Возможность\Язык	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	VB.NET	Delphi	Ocaml
Макросы	-/+	-/+ ^[127]	-/+ ^[128]	-	-/+ ^[129]	-	-/+	-	-	-	-	+/- ^[130]	+	+	-	?	-	+/-	-	-	-	-	-/+ ^[131]
Шаблоны/Generics	+	-	+	+	+	+	x ^[132]	+	+	+	x ^[132]	- ^[133]	x ^[132]	+	x ^[132]	-	x ^[132]	x ^[132]	+	x ^[132]	+	+ ^[134]	+/-
Поддержка Unicode в идентификаторах	+	-/+ ^[135]	-/+ ^[136]	+	+	?	-	+	+	+	+	+	+ ^[137]	+	+/-	-/+	+ ^[138]	+ ^[139]	+	+	+	+	+
Перегрузка функций	+	-	+	+	+	-	+	+	+	+	-/+ ^[140]	+	+ ^[141]	+	- ^[142]	-	- ^[143]	-	+	?	+	+	+
Динамические переменные	?	-	-	?	?	?	-	?	?	?	?	?	+ ^[144]	?	+	-	-	?	?	?	?	?	?
Именованные параметры	+	-	-	+ ^[145]	-	-	-	+/-	+	-	-/+ ^[146]	-	+ ^[147]	+	+	-	+	+	?	-/+ ^[148]	+	-/+ ^[149]	+
Значения параметров по умолчанию	+	-	+	+ ^[145]	+	-	+/- ^[150]	-	+	-	-	-	+ ^[151]	+	+/- ^[152]	+	+	+	+	+/-	+	+	+
Локальные функции	+	-/+ ^[153]	-/+ ^[154]	+/-	+	-	+	+	-	+/- ^[155]	+	+	+ ^[156]	+	+/-	+	+	+	+	-	+/-	+	+
Сопоставление с образцом	-	-	-	+/-	-	-	+	+	-	-	-	+	+/- ^[157]	+	+	?	- ^[143]	-	+	?	-	-	+
Контрактное программирование	-	-	-	+ ^[158]	+	+	?	+/- ^[158]	+/-	+/- ^[159]	?	+ ^[160]	+	+	?	?	+/-	+/-	?	?	+ ^[158]	-	-

[править] Стандартизация

Язык	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	VB.NET	Delphi	OCaml
Стандарты	ISO ANSI ГОСТ	ISO ANSI	ISO	ISO ECMA	-	ISO ECMA	-	-	-	-	ECMA	-	ANSI	-	-	-	-	-	-	ANSI	-	-	-

[править] Примечания

↑ Императивный/Haskell. Монады позволяют выполнять императивные действия.
↑ ООП/Erlang. Можно провести параллель между процессами в Эрланге и объектами в определении Алана Кея [1].
↑ ООП/Javascript. Прототипная модель ООП.
↑ ООП/Haskell. Классы типов и семейства типов перекрывают возможности ООП.
↑ Логический/Haskell. Изначально инструментов для логического программирования не встроено, но есть сторонние библиотеки. Существует академический функционально-логический язык Curry, берущий Haskell за основу.
↑ Логический/Common Lisp. Логическая парадигма изначально в язык не встроена, но реализуется средствами языка.
↑ В языке существует множество декларативных конструкций, и, более того, возможность создавать свои, с помощью макросов.
↑ Декларативный/Perl. Только регулярные выражения.
↑ Распределённый/Ada. См. Annex E. Distributed Systems.
↑ ¹ ² Распределённый/C и C++. Многие распространённые компиляторы поддерживают директивы для распараллеливания в рамках технологий MPI и OpenMP.
↑ Распределённый/C#. Существуют проекты распределённых модификаций языка, например Parallel C#.
↑ Распределённый/Haskell. Модель языка подразумевает распределённое использование, при этом не требуя от программиста усилий на реализацию распределённости. Один из поддерживающих эту возможность компиляторов - Glasgow Distributed Haskell.
↑ ¹ ² ANSI стандарт языка предусматривает опциональные декларации типов, которые какие-либо конкретные реализации могут использовать по своему усмотрению. Большинство современных реализаций CL принимают декларации типов в расчет, и используют для статической проверки типов и в целях оптимизации.
↑ Статическая типизация/Perl. С версии 5.6. Только для не встроенных типов.
↑ Статическая типизация/Smalltalk. Возможность статической типизации есть в диалекте Smalltalk - Strongtalk'е.
↑ Динамическая типизация/C#. Посредством специального псевдо-типа dynamic с версии 4.0.
↑ Динамическая типизация/F#. Компилятор поддерживает синтаксический сахар в виде преобразования использования оператора (?) xml?name в вызов xml.op_Dynamic("name"), на базе чего может быть реализована имитация динамической типизации.
↑ Динамическая типизация/Haskell. Обеспечивается модулем Data.Dynamic.
↑ Динамическая типизация/VB.NET. Контролируемо с помощью Option Strict.
↑ Динамическая типизация/Delphi. Посредством специального типа Variant.
↑ Явная типизация/Erlang. Можно использовать т.н. type test BIFs. См. [2]
↑ Явная типизация/Perl. См. Prototypes в man perlsub.
↑ Явная типизация/Python. Частично в Python 3.0.
↑ Явная типизация/Smalltalk. Есть в Strongtalk.
↑ Неявное приведение типов/Ada. См. 4.6 Type Conversions.
↑ Неявное приведение с потерей данных/Perl. При сложении строки с числом: $a = '5aa'; print $a + 0; Напечатает: 5
↑ Неявное приведение в неоднозначных ситуациях/Perl. Не совсем корректно, т.к. в Perl эти ситуации однозначны: 1 + "2" # 3 и 1 . "2" # "12"
↑ Макрос DEFTYPE
↑ ¹ ² ³ ⁴ Вывод типов/Common Lisp. Некоторые компиляторы Common Lisp, такие как SBCL, поддерживают частичный вывод типов.
↑ Параметрический полиморфизм с ковариантностью/C#. Доступно начиная с C# 4.0 для типов интерфейсов и делегатов.
↑ Информация о типах в runtime/Ada. Точный тип узнать можно (Ada.Tags), но полной поддержки отражения в языке нет. Можно узнать имя, предков, интерфейсы, сериализовать объект, но нельзя запросить список методов.
↑ Информация о типах в runtime/С++. Можно сравнить типы на точное совпадение, узнать имя типа (typeid), приводить типы вниз по иерархии наследования.
↑ Open-source компилятор (интерпретатор)/Smalltalk. В любом диалекте Smalltalk исходники всего, кроме виртуальной машины, (т.е. библиотека классов, компилятор в байткод, среда разработки, сторонние библиотеки и пр.) принципиально открыты - это свойство языка. Из основных диалектов исходники виртуальной машины открыты у GNU Smalltalk, Squeak и Strongtalk.
↑ Open-source компилятор (интерпретатор)/Delphi. FreePascal и Lazarus.
↑ Возможность компиляции/Erlang. HiPE - High Performance Erlang. Доступен только для *nix-систем.
↑ Существуют PHP-компиляторы, вполне корректно комилирующие любые PHP-скрипты. Например, Roadsend PHP Compiler.
↑ Возможность компиляции/Smalltalk. Стандартная реализация в Smalltalk - это прозрачная компиляция в байт-код (в момент сохранения изменённого исходного кода) с последующим исполнением на виртуальной машине, часто с использованием JIT-компилятора. Однако некоторые диалекты поддерживают прямую компиляцию в машинные коды. В часности, к таким диалектам относятся Smalltalk MT и Smalltalk/X.
↑ Bootstrapping компилятор/Java. Java Compiler API появилось в версии 6.0.
↑ Narcissus.
↑ Например, SBCL
↑ Bootstrapping компилятор/Python. Проект PyPy.
↑ Bootstrapping компилятор/Smalltalk. Компилятор в байт-коды изначально написан на самом Smalltalk и исполняется внутри виртуальной машины. Кроме этого также есть примеры виртуальных машин Smalltalk, написанных на самом Smalltalk - к ним, в частности, относится виртуальная машина Squeak, написанная на подмножестве Smalltalk, которое потом транслируется в C и компилируется в машинные коды. При этом собственно разработка и отладка виртуальной машины Squeak осуществляется внутри работающей системы Squeak.
↑ Интерпретатор командной строки/Ada. Business Shell (BUSH).
↑ ¹ ² Интерпретатор командной строки/C++. C++ интерпретатор CINT.
↑ Планируется к версии 5.0 языка.
↑ Rhino Shell.
↑ В диалекте GNU Smalltalk реализована поддержка командной строки.
↑ Условная компиляция/Ada. Поскольку использование препроцессора существенно осложняет работу утилит, отличных от компилятора, работающих с исходными текстами, в стандарт эта возможность не входит. Здесь: Conditional Compilation описывается, как можно организовать условно компилируемый код. В качестве резервного варианта предоставляется препроцессор gnatprep.
↑ Условная компиляция/Java. Утверждения (операторы assert) всегда включаются компилятором в байт-код и могут быть разрешены (по умолчанию запрещены, то есть игнорируются) при запуске виртуальной машины ключом -ea/-enableassertion.
↑ [3].
↑ Макросы лиспа позволяют при компиляции вычислять произвольные выражения, включая, естественно, конструкции ветвлений.
↑ Компилятор должен решать, какие классы будут представлены "простыми" типами и будут, в том числе, размещаться в стеке.
↑ Создание объектов на стеке/Haskell. В GHC при помощи Unboxed Types / Unboxed Arrays.
↑ Стандарт языка предусматривает декларацию DYNAMIC-EXTENT, которая может трактоваться компилятором как указание выделить место под объект на стеке.
↑ Создание объектов на стеке/Delphi. В Delphi имеется 2 объектных модели - старая (унаследована из Turbo Pascal) и новая. Создание объектов на стеке возможно только в старой объектной модели.
↑ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ Через FFI (foreign function interface)
↑ Можно с помощью модуля стандартной библиотеки - ctypes.
↑ Неуправляемые указатели/Smalltalk. В Smalltalk есть возможность низкоуровневой работы с памятью, но только в адресном пространстве, предоставляемом виртуальной машиной.
↑ unsafe + System.Runtime.InteropServices
↑ Ручное управление памятью/Smalltalk. При низкоуровневой работе в пространстве памяти, предоставляемом виртуальной машиной, можно вручную создавать и удалять объекты, записывая данные в соответствующие адреса памяти. Аналогично можно вручную управлять размещением объектов в памяти.
↑ Сборка мусора/Ada. Только на некоторых платформах (.NET и JVM) или при помощи библиотек (AdaCL:GC). Тем не менее, практически все программы на Ada могут работать как с ним, так и без него. В этом смысле к сборке мусора применительно к Аде следует относиться не как к инженерному решению, а как к оптимизации управления памятью.
↑ ¹ ² Сборка мусора/C и C++. В стандарте языка и в стандартных библиотеках нет сборки мусора. Однако существуют сборщики мусора для C и C++ в виде библиотек. Например, BoehmGC (англоязычный раздел).
↑ Сборка мусора/Delphi. Если не считать Delphi.NET.
↑ Инструкция goto/Java. Является зарезервированным словом.
↑ Специальный оператор GO. Все конструкции циклов в CL, фактически, являются макросами-надстройками над этой инструкцией.
↑ Инструкция goto/Ruby. В языке goto нет, но есть библиотека реализующая его.
↑ Инструкция goto/Smalltalk. В стандарте языка goto нет, но существуют библиотеки, реализующие функционал goto через управление стеком исполнения. Используются крайне редко, это скорее proof of concept(англ.).
↑ Макрос RETURN. Фактически, является частным случаем RETURN-FROM.
↑ заменяется исключениями, также реализуется с помощью Camlp4 http://code.google.com/p/ocaml-break-continue/
↑ Специальный оператор RETURN-FROM
↑ Можно либо повторить выполнение метода, либо пробросить исключение далее
↑ ¹ ² Java-style try-catch блок реализуется макросом handler-case. Кроме того, в возможности системы обработки исключений Common Lisp входит система т.н. перезапусков(restarts), которые позволяют обрабатывать исключения "изнутри" без раскрутки стека вызовов функций
↑ При помощи оператора eval
↑ Блок finally/Ada. В стандарте языка finally нет, но существуют библиотеки, реализующие функционал finally. Используются крайне редко, это скорее proof of concept(англ.).
↑ [4]
↑ Специальный оператор UNWIND-PROTECT
↑ реализуется на camlp4 http://bluestorm.info/camlp4/dev/try/pa_tryfinally.ml.html
↑ При помощи нескольких последовательных catch
↑ При помощи eval or {...}
↑ Частично реализуются нестандартным модулем Runops::Resume
↑ Конструкции yield return, запросы LINQ, в FCL 4.0 войдёт тип Lazy.
↑ Seq-генераторы, модуль Lazy стандартной библиотеки F#.
↑ Однако, данную возможность можно реализовать на макросах
↑ Конструкции Linq.
↑ модуль Lazy стандартной библиотеки Ocaml.
↑ Реазилуется сторонними библиотеками, например cl-cont
↑ Только для байт-кода http://okmij.org/ftp/Computation/Continuations.html#caml-shift
↑ Легковесные процессы/Java. Вплоть до Java 1.1.
↑ Только в некоторых реализациях.
↑ Следует заметить что это не стандартные легкие процессы [5]
↑ Легковесные процессы/Python. Используя Stackless Python.
↑ Монадические потоки выполнения, реализованы в библиотеке Lwt
↑ Кортежи/C++. Реализуются в стандартной библиотеке (появились в TR1 (англоязычный раздел), до этого в boost).
↑ ¹ ² Кортежи/.NET. С помощью типов System.Tuple<T,...> введёных в FCL 4.0.
↑ ¹ ² Алгебраические типы данных/Ada и Delphi. Через механизм вариантных записей.
↑ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ В динамических языках механизм алгебраических типов данных не имеет смысла.
↑ ¹ ² ³ ⁴ ⁵ Массива/Haskell. В языке не существует понятия "массив", вместо которого есть понятие "список".
↑ Динамические массивы/C. "Из коробки" данной возможности нет, однако похожий функционал можно реализовать, используя функцию realloc.
↑ Контроль границы массивов/С++. Для массивов контроля нет, однако в STL входит шаблон std::vector в который может быть встроен контроль границ (в перегрузку оператора индексации).
↑ ¹ ² ³ Контроль границ массивов/Perl, PHP и JavaScript. В языке нет массивов со статическими границами, присваивание элементу за текущими границами массива просто расширяет границы массива.
↑ Контроль границ массивов/Ocaml. Можно отключить на этапе компиляции с помощью ключа -unsafe
↑ Цикл foreach/Ada. Методы Iterate и Reverse_Iterate различных контейнеров, входящих в библиотеку Ada.Containers.
↑ Цикл foreach/C++. Алгоритм for_each из библиотеки STL.
↑ Цикл foreach/Erlang. В виде функции foreach/3 из модуля lists.
↑ Цикл foreach/JavaScript. С версии 1.6[6].
↑ Цикл foreach/Lisp. Макрос LOOP в составе стандартной библиотеки. Представляет собой "язык в языке" с большим количеством возможностей.
↑ List comprehensions/C#. "Query Comprehension" можно считать за List Comprehension только с большой натяжкой.
↑ ¹ ² ³ Целые числа произвольной длины/.NET. Посредством типа System.Numerics.BigInteger, включенного в FCL версии 4.0.
↑ Целые числа произвольной длины/Java. С помощью классов BigInteger и BigDecimal.
↑ Целые числа произвольной длины/Scala. С помощью классов BigInteger и BigDecimal.
↑ Целые числа произвольной длины/OCaml. В помощью модуля Num и Big_int.
↑ Пример: Тип (INTEGER 0 9) включает в себя все цифры от 0 до 9
↑ Целые числа произвольной длины/Perl. С помощью модуля Tie::Scalar.
↑ Похожий функционал реализуется макросами и средствами CLOS.
↑ Через множественное наследование от классов с методами-заготовками. См. [7]
↑ ¹ ² ³ ⁴ Реализуется сторонними библиотеками
↑ Подмешивание реализации интерфейсов через ключевое слово implements. См. страницы 10-7 и 10-8 в Object Pascal Guide.
↑ Только совместное использование посредством виртуального наследования
↑ Для каждого члена класса - выбор дублирование (через переименование), или слияние (иначе, если не было переопределения)
↑ [8]
↑ http://www.digitalmars.com/d/2.0/function.html#pure-functions
↑ в форме указателей на функции
↑ указатели на методы
↑ ¹ ² ³ Появились в Delphi2009, как анонимные функции.
↑ Анонимные делегаты присутствуют в языке с версии 2.0. В C# 3.0 появились полноценные анонимные функции.
↑ Макрос LAMBDA
↑ Макросы/C. Посредством препроцессора C.
↑ Макросы/C++. Шаблоны C++ (изначально предназначенных для обобщенного программирования) возможно применять для метапрограммирования.
↑ Макросы/D. С++-подобные шаблоны.
↑ Макросы/Haskell. Template Haskell - препроцессор, встроенный в GHC.
↑ Штатный препроцессор camlp4
↑ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ Неприменимо в языках с динамической типизацией.
↑ Generics/Haskell. Прямых аналогов шаблонов в языке нет, однако имеются не менее мощные средства обобщенного программирования.
↑ Generics/Delphi. Доступно начиная с Delphi 2009.
↑ Unicode в идентификаторах/C. Доступно в компиляторах gcc начиная с 4.2
↑ Unicode в идентификаторах/C++. Доступно в компиляторах от MS, начиная с MSVS++ 2005 и в gcc начиная с 4.2
↑ В большинстве современных реализаций
↑ Unicode в идентификаторах/Python. Доступно начиная с Python 3.0.
↑ Unicode в идентификаторах/Ruby. Доступно начиная с Ruby 1.9.
↑ Перегрузка функций/JavaScript. Можно сымитировать, используя проверку передаваемых параметров с помощью рефлексии.
↑ Обобщенные функции можно перегружать по типам или значениям нескольких параметров
↑ Только перегрузка операторов [9].
↑ ¹ ² Перегрузка функций и сопоставление с образцом/Python. Реализовано в сторонней библиотеке PEAK-rules.
↑ макросы DEFVAR и DEFPARAMETER, а также декларация SPECIAL, создают динамические биндинги.
↑ ¹ ² Именованные аргументы и параметры по умолчанию/C#. Доступно начиная с C# 4.0.
↑ Именованные параметры/JavaScript. Можно сымитировать, передав в качестве параметра функции JSON-объект: f ({param1: "value1", param2: "value2"}).
↑ Спецификатор "&key" в списке аргументов объявляемой функции объявляет именованный параметр.
↑ Именованные параметры/Smalltalk. Можно называть методы в стиле сделатьЧтоНибудьС:используя:и: - в таком случае двоеточия обозначают места, куда будут подставляться параметры при вызове метода, например сделатьЧтоНибудьС: парам1 используя: парам2 и: парам3. Названия подбирают таким образом, чтобы при вызове было понятно, для чего будут использоваться параметры.
↑ Именованные параметры/Delphi: Могут использоваться при вызове OLE: Word.Openfile(filename='1.doc')
↑ Значения параметров по умолчанию/Erlang. Можно сымитировать с помощью арности функции.
↑ "&key" и "&optional" параметры допускают значения по умолчанию
↑ Значения параметров по умолчанию/Perl. Можно элементарно сымитировать, см. [10].
↑ Локальные функции/С. Поддерживаются в компиляторе gcc как нестандартное расширение языка, см. [11].
↑ Локальные функции/С++. Поддерживаются в виде методов локальных классов
↑ Локальные функции/Java. Внутри метода можно определять безымянные (анонимные) локальные классы, которые фактически позволяют создавать экземпляры объектов, перекрывающие методы своего класса.
↑ Cпециальный оператор LABELS
↑ EQL спецификатор в обобщенных функциях можно рассматривать как аналог некоторого подмножества функциональности сопоставления с образцом
↑ ¹ ² ³ Посредством библиотеки Code Contracts из состава FCL 4.0.
↑ Контрактное программирование/Java. На основе аннотаций Java 5, используя библиотеку OVal и аспектный компилятор AspectJ.
↑ Контрактное программирование/Haskell. Посредством библиотеки QuickCheck.

[править] Терминология

[править] Парадигмы

[править] Императивный

Противоположность декларативному. Императивный язык должен описывать не столько саму задачу, сколько её решение. Несмотря на различие декларативных и императивных языков в конечном счёте скомпилированная программа представляет собой набор чётких и недвусмысленных инструкций, т.е. императивна.

[править] Объектно-ориентированный

Объектно-ориентированный язык позволяет использовать три парадигмы ООП: наследование, инкапсуляцию и полиморфизм.

[править] Рефлексивный

Наличие в языке мощных механизмов интроспекции, функции eval. Возможность программы на данном языке оперировать собственным кодом как данными.

[править] Функциональный

Позволяет записывать программу как композицию функций. В чистом функциональном языке нет переменных. Так как функции не имеют побочных эффектов, они могут выполняться в любом порядке.

[править] Обобщенное программирование

Обобщенное программирование позволяет записывать алгоритмы, принимающие данные любого типа.

[править] Логический

Использует логику предикатов для описания баз данных и процедур логического вывода и принятия решений

[править] Доказательный

Направлен на разработку алгоритмов и программ с доказательствами их правильности с использованием спецификаций программ.

[править] Декларативный

Противоположность императивному. Декларативный язык описывает не столько решение проблемы, сколько саму проблему, а решение уже должен определять компьютер. Следует заметить, что различие между императивными и декларативными языками условно, поскольку на любом языке можно писать фрагменты кода в декларативном стиле.

[править] Распределенный

Язык, содержащий специальные конструкции для поддержки распараллеливания программы на несколько компьютеров.

[править] Типизация

[править] Статическая типизация

(См. статическая типизация). Переменные и параметры методов/функций связываются с типами в момент объявления и не могут быть изменены позже.

[править] Динамическая типизация

(См. динамическая типизация). Переменные и параметры методов/функций связываются с типами в момент присваивания значения (или передачи параметра в метод/функцию), а не в момент объявления переменной или параметра. Одна и та же переменная в разные моменты может хранить значения разных типов.

[править] Явная типизация

Типы переменных и параметров указываются явно.

[править] Неявная типизация

Типы переменных и параметров не указываются явно. Неявная типизация может быть и статической, в таком случае типы переменных и параметров вычисляются компилятором.

[править] Явное приведение типов

Для использования переменной какого-то типа там, где предполагается использование переменной другого типа, нужно (возможно) явно выполнить преобразование типа.

[править] Неявное приведение типов без потери данных

Неявное приведение типов в таких ситуациях, где не происходит потери данных - например, использование целого числа там, где предполагалось использование числа с плавающей точкой.

[править] Неявное приведение типов с потерей данных

Неявное приведение типов в таких ситуациях, где может произойти потеря данных - например, использование числа с плавающей точкой там, где предполагалось использование целого числа.

[править] Неявное приведение типов в неоднозначных ситуациях

Например, использование строки там, где предполагалось число или наоборот. Классический пример: сложить число 1 со строкой "2" - результат может быть как число 3, так и строка "12". Другой пример - использование целого числа там, где ожидается логическое значение (boolean).

[править] Алиасы типов

Возможность определить видимый глобально (за пределами единицы компиляции) алиас типа, полностью эквивалентный исходному типу. Например, typedef в Си. Директива using в C# не подходит под этот критерий из-за локальной области действия.

[править] Вывод типов переменных из инициализатора

Возможность не указывать явно тип переменной, если для неё задан инициализатор. Если возможность действует для локальных переменных, но не действует для полей класса, все равно ставьте +. Характеристика не применима к языкам с динамической типизацией.

[править] Вывод типов переменных из использования

Возможность не указывать явно тип переменной, если её тип может быть выведен из дальнейшего использования. Если возможность действует для локальных переменных, но не действует для полей класса, все равно ставьте +. Характеристика не применима к языкам с динамической типизацией.

[править] Вывод типов-аргументов при вызове метода

Возможность не указывать явно типы-аргументы при вызове generic-метода, если они могут быть выведены из типов обычных аргументов.

[править] Вывод сигнатуры для локальных функций

Может ли сигнатура локальной функции быть выведена из использования. Неприменимо для языков с динамической типизацией. Ставьте -, если язык не поддерживает локальных функций.

[править] Параметрический полиморфизм

Наличие типобезопасного параметрического полиморфизма (aka generic types). Подразумевает возможность указывать constraints или type classes для типов-параметров.

[править] Параметрический полиморфизм с ковариантностью

Наличие ко- и контравариантных type parameters. В некоторых языках может быть лишь частичная поддержка (например, только в интерфейсах и делегатах). В таком случае, отмечайте +/-.

[править] Параметрический полиморфизм высших порядков

Возможность создавать type constructors высших порядков (как в Scala). См. Towards Equal Rights for Higher-kinded Types

[править] Информация о типах в runtime

Возможность узнать точный тип объекта в runtime.

[править] Информация о типах-параметрах в runtime

Возможность узнать в runtime информацию о типе, с которых инстанциирован generic-тип. Если язык не поддерживает generic-типы, то ставьте -. Если информация о типах стирается в runtime (используется erasure), то ставьте -.

[править] Компилятор/интерпретатор

[править] Open-source компилятор (интерпретатор)

Наличие полноценного open-source компилятора (для интерпретируемых языков — интерпретатора). Если существует open-source компилятор, но он поддерживает не все возможности языка, то ставьте +/- или -/+.

[править] Возможность компиляции

Возможность компиляции в нативный код или в byte-код с возможностью JIT-компиляции. Если язык компилируется в код на другом языке (например, C), который потом компилируется в нативный код, то тоже ставьте +.

[править] Bootstrapping компилятор

Наличие полноценного open-source bootstrapping компилятора (то есть, компилятора, написанного на том же языке, который он компилирует, и успешно компилирующего самого себя). Если существует open-source bootstrapping компилятор, но он поддерживает не все возможности языка, то ставьте +/- или -/+.

[править] Многопоточная компиляция

Возможность компилятора на многопроцессорных системах использовать несколько потоков для ускорения компиляции. Если язык не поддерживает компиляцию, то ставьте x (неприменимо).

[править] Интерпретатор командной строки

Возможность вводить инструкции языка строка за строкой с их немедленным выполнением. Может использоваться в качестве калькулятора.

[править] Условная компиляция

Возможность включать/выключать части кода в зависимости от значения символов условной компиляции (например, с помощью #if … #endif в C++)

[править] Управление памятью

[править] Объекты на стеке

Возможность создавать экземпляры объектов не в куче, а на стеке.

[править] Неуправляемые указатели

Наличие неуправляемых указателей, адресная арифметика, прямой доступ к памяти.

[править] Ручное управление памятью

Возможность явного выделения и освобождения памяти в куче (например, с помощью операторов new и delete в C++).

[править] Сборка мусора

Возможность использовать автоматический процесс сборки мусора (освобождения памяти в куче, занятой неиспользуемыми объектами).

[править] Управление потоком вычислений

[править] Инструкция goto

Поддержка инструкции goto (безусловный переход на метку). Отсутствует в языках структурного программирования.

[править] Инструкция break без метки

Поддержка инструкции break без метки (безусловный выход из ближайшего цикла), и соответствующей инструкции continue. Наличие в языке инструкции break, относящегося к switch или другой конструкции, не влияет на это поле.

[править] Инструкция break с меткой

Поддержка инструкции break с меткой (безусловный выход из цикла, помеченного меткой), и соответствующей инструкции continue. Наличие в языке инструкции break, относящегося к switch или другой конструкции, не влияет на это поле.

[править] Поддержка try/catch

Поддержка обработки исключений с помощью try/catch или эквивалентной конструкции.

[править] Блок finally

Поддержка блока finally при обработке исключений или эквивалентной конструкции.

[править] Блок else (исключения)

Поддержка блока else при обработке исключений (действия, выполняющиеся при завершении блока try без исключения).

[править] Перезапуски

Исключения, не раскручивающие стек вызовов. Возможность из места перехвата исключения вернуться в место установки перезапуска.

[править] Легковесные процессы

Эмуляция многопоточности рантаймом самого языка. В пределах одного (или нескольких) потока ОС выполняется множество потоков исходного кода

[править] Типы и структуры данных

[править] Многомерные массивы

Наличие встроенных в язык многомерных массивов. Если язык поддерживает только массивы массивов, ставьте +/-

[править] Динамические массивы

Наличие встроенных в язык динамических массивов (способных изменять свой размер во время выполнения программы).

[править] Ассоциативные массивы

Наличие встроенных в язык ассоциативных массивов или хэш-таблиц.

[править] Цикл foreach

Наличие возможности перебрать все элементы коллекции с помощью цикла foreach. Если в языке есть эквивалентная или более сильная возможность (наподобие list comprehensions), ставьте +.

[править] List comprehensions

Наличие List comprehensions (или аналога).

[править] Кортежи

Возможность вернуть из функции/метода кортеж (tuple) — неименованный тип данных, содержащий несколько безымянных полей произвольного типа.

[править] Целые числа произвольной длины

Поддержка целых чисел неограниченной разрядности. Должна быть возможность записать сколь угодно большое целое число с помощью литерала.

[править] Целые числа с контролем границ

Возможность определить тип, значениями которого могут быть целые числа только определенного интервала, например [-5..27], при этом присвоение переменной такого типа значения, выходящего за указанные рамки, должно вызывать ошибку.

[править] Объектно-ориентированные возможности

[править] Интерфейсы

Семантическая и синтаксическая конструкция в коде программы, используемая для специфицирования услуг, предоставляемых классом. См. Интерфейс в ООП.

[править] Множественное наследование

Возможность наследовать класс сразу от нескольких классов (не интерфейсов).

[править] Мультиметоды

Динамическая (run time) диспетчеризация функции в зависимости от типов нескольких аргументов.
В языках с "message passing" ООП похожий функционал реализуется паттерном "Visitor".

[править] Переименование членов при наследовании

Возможность в наследнике изменить имя поля/метода предка.

[править] Решение конфликта имен при множественном наследовании

При множественном наследовании - решение для случая ромбовидного наследования (B потомок A, C потомок A, D потомок B и C). Решение может приниматься как для всего класса, так и для каждого поля/метода в отдельности.

[править] Функциональные возможности

[править] First class functions

Функции в данном языке являются объектами первого класса.

[править] Лексические замыкания

Возможность использовать локальную или лямбда-функцию (анонимный делегат) за пределами функции-контейнера с автоматическим сохранением контекста (локальных переменных) функции-контейнера

[править] Разное

[править] Макросы

Наличие в языке макро-системы, обрабатывающей код программы до времени её компиляции и/или выполнения. Например, макросы Лиспа, препроцессор Си или шаблоны С++.

[править] Шаблоны/Generics

Наличие в данном статически типизированном языке инструмента для обобщенного программирования, наподобие templates в C++ или generics в C#.

[править] Поддержка Unicode в идентификаторах

Возможность включения Unicode-символов (например, букв национальных алфавитов) в идентификаторы.

[править] Перегрузка функций

(См. перегрузка функций). Возможность перегрузки функций/методов по количеству и типам параметров.

[править] Динамические переменные

Возможность создавать переменные, имеющие.динамическую область видимости(англ.).

[править] Именованные параметры

Возможность при вызове функции/метода указывать имена параметров и менять их местами.

[править] Значения параметров по умолчанию

Возможность при вызове функции/метода опускать некоторые параметры, чтобы при этом подставлялось значение по умолчанию, указанное при определении функции.

[править] Локальные функции

Возможность определять локальную функцию внутри другой функции/метода. Подразумевается возможность использовать внутри локальной функции локальные переменные из внешнего блока.

[править] Сопоставление с образцом

Наличие сопоставления с образцом.

[править] Контрактное программирование

Возможность задавать пред- и пост-условия для методов и инварианты для классов. Подробнее см. Design by contract(англ.).

[править] Ссылки

[0] Императивный/Haskell. Монады позволяют выполнять императивные действия.

[1] ООП/Erlang. Можно провести параллель между процессами в Эрланге и объектами в определении Алана Кея [1].

[2] ООП/Javascript. Прототипная модель ООП.

[3] ООП/Haskell. Классы типов и семейства типов перекрывают возможности ООП.

[4] Логический/Haskell. Изначально инструментов для логического программирования не встроено, но есть сторонние библиотеки. Существует академический функционально-логический язык Curry, берущий Haskell за основу.

[5] Логический/Common Lisp. Логическая парадигма изначально в язык не встроена, но реализуется средствами языка.

[6] В языке существует множество декларативных конструкций, и, более того, возможность создавать свои, с помощью макросов.

[7] Декларативный/Perl. Только регулярные выражения.

[8] Распределённый/Ada. См. Annex E. Distributed Systems.

[cpp-distributed-9] ¹ ² Распределённый/C и C++. Многие распространённые компиляторы поддерживают директивы для распараллеливания в рамках технологий MPI и OpenMP.

[10] Распределённый/C#. Существуют проекты распределённых модификаций языка, например Parallel C#.

[11] Распределённый/Haskell. Модель языка подразумевает распределённое использование, при этом не требуя от программиста усилий на реализацию распределённости. Один из поддерживающих эту возможность компиляторов - Glasgow Distributed Haskell.

[lisp-type-declarations-12] ¹ ² ANSI стандарт языка предусматривает опциональные декларации типов, которые какие-либо конкретные реализации могут использовать по своему усмотрению. Большинство современных реализаций CL принимают декларации типов в расчет, и используют для статической проверки типов и в целях оптимизации.

[13] Статическая типизация/Perl. С версии 5.6. Только для не встроенных типов.

[14] Статическая типизация/Smalltalk. Возможность статической типизации есть в диалекте Smalltalk - Strongtalk'е.

[15] Динамическая типизация/C#. Посредством специального псевдо-типа dynamic с версии 4.0.

[16] Динамическая типизация/F#. Компилятор поддерживает синтаксический сахар в виде преобразования использования оператора (?) xml?name в вызов xml.op_Dynamic("name"), на базе чего может быть реализована имитация динамической типизации.

[17] Динамическая типизация/Haskell. Обеспечивается модулем Data.Dynamic.

[18] Динамическая типизация/VB.NET. Контролируемо с помощью Option Strict.

[19] Динамическая типизация/Delphi. Посредством специального типа Variant.

[20] Явная типизация/Erlang. Можно использовать т.н. type test BIFs. См. [2]

[21] Явная типизация/Perl. См. Prototypes в man perlsub.

[22] Явная типизация/Python. Частично в Python 3.0.

[23] Явная типизация/Smalltalk. Есть в Strongtalk.

[24] Неявное приведение типов/Ada. См. 4.6 Type Conversions.

[25] Неявное приведение с потерей данных/Perl. При сложении строки с числом: $a = '5aa'; print $a + 0; Напечатает: 5

[26] Неявное приведение в неоднозначных ситуациях/Perl. Не совсем корректно, т.к. в Perl эти ситуации однозначны: 1 + "2" # 3 и 1 . "2" # "12"

[27] Макрос DEFTYPE

[lisp-type-inference-28] ¹ ² ³ ⁴ Вывод типов/Common Lisp. Некоторые компиляторы Common Lisp, такие как SBCL, поддерживают частичный вывод типов.

[29] Параметрический полиморфизм с ковариантностью/C#. Доступно начиная с C# 4.0 для типов интерфейсов и делегатов.

[30] Информация о типах в runtime/Ada. Точный тип узнать можно (Ada.Tags), но полной поддержки отражения в языке нет. Можно узнать имя, предков, интерфейсы, сериализовать объект, но нельзя запросить список методов.

[31] Информация о типах в runtime/С++. Можно сравнить типы на точное совпадение, узнать имя типа (typeid), приводить типы вниз по иерархии наследования.

[smalltalk-open-source-32] Open-source компилятор (интерпретатор)/Smalltalk. В любом диалекте Smalltalk исходники всего, кроме виртуальной машины, (т.е. библиотека классов, компилятор в байткод, среда разработки, сторонние библиотеки и пр.) принципиально открыты - это свойство языка. Из основных диалектов исходники виртуальной машины открыты у GNU Smalltalk, Squeak и Strongtalk.

[delphi-open-source-33] Open-source компилятор (интерпретатор)/Delphi. FreePascal и Lazarus.

[hipe-34] Возможность компиляции/Erlang. HiPE - High Performance Erlang. Доступен только для *nix-систем.

[php-compiling-35] Существуют PHP-компиляторы, вполне корректно комилирующие любые PHP-скрипты. Например, Roadsend PHP Compiler.

[smalltalk-compiling-36] Возможность компиляции/Smalltalk. Стандартная реализация в Smalltalk - это прозрачная компиляция в байт-код (в момент сохранения изменённого исходного кода) с последующим исполнением на виртуальной машине, часто с использованием JIT-компилятора. Однако некоторые диалекты поддерживают прямую компиляцию в машинные коды. В часности, к таким диалектам относятся Smalltalk MT и Smalltalk/X.

[java-compiler-api-37] Bootstrapping компилятор/Java. Java Compiler API появилось в версии 6.0.

[javascript-bootstrapping-38] Narcissus.

[39] Например, SBCL

[python_bootstrapping-40] Bootstrapping компилятор/Python. Проект PyPy.

[smalltalk-bootstrapping-compiler-41] Bootstrapping компилятор/Smalltalk. Компилятор в байт-коды изначально написан на самом Smalltalk и исполняется внутри виртуальной машины. Кроме этого также есть примеры виртуальных машин Smalltalk, написанных на самом Smalltalk - к ним, в частности, относится виртуальная машина Squeak, написанная на подмножестве Smalltalk, которое потом транслируется в C и компилируется в машинные коды. При этом собственно разработка и отладка виртуальной машины Squeak осуществляется внутри работающей системы Squeak.

[ada_cmdline_interpreter-42] Интерпретатор командной строки/Ada. Business Shell (BUSH).

[cpp_interpreter-43] ¹ ² Интерпретатор командной строки/C++. C++ интерпретатор CINT.

[csharp_interpreter-44] Планируется к версии 5.0 языка.

[js_commandline-45] Rhino Shell.

[smalltalk-command-line-46] В диалекте GNU Smalltalk реализована поддержка командной строки.

[ada_conditional-47] Условная компиляция/Ada. Поскольку использование препроцессора существенно осложняет работу утилит, отличных от компилятора, работающих с исходными текстами, в стандарт эта возможность не входит. Здесь: Conditional Compilation описывается, как можно организовать условно компилируемый код. В качестве резервного варианта предоставляется препроцессор gnatprep.

[java-assert-48] Условная компиляция/Java. Утверждения (операторы assert) всегда включаются компилятором в байт-код и могут быть разрешены (по умолчанию запрещены, то есть игнорируются) при запуске виртуальной машины ключом -ea/-enableassertion.

[JS-compile-49] [3].

[50] Макросы лиспа позволяют при компиляции вычислять произвольные выражения, включая, естественно, конструкции ветвлений.

[eiffel_stack-51] Компилятор должен решать, какие классы будут представлены "простыми" типами и будут, в том числе, размещаться в стеке.

[haskell-stack-objects-52] Создание объектов на стеке/Haskell. В GHC при помощи Unboxed Types / Unboxed Arrays.

[53] Стандарт языка предусматривает декларацию DYNAMIC-EXTENT, которая может трактоваться компилятором как указание выделить место под объект на стеке.

[delphi-stack-objects-54] Создание объектов на стеке/Delphi. В Delphi имеется 2 объектных модели - старая (унаследована из Turbo Pascal) и новая. Создание объектов на стеке возможно только в старой объектной модели.

[FFI-55] ¹ ² ³ ⁴ ⁵ ⁶ ⁷ Через FFI (foreign function interface)

[python-pointer-56] Можно с помощью модуля стандартной библиотеки - ctypes.

[smalltalk-unmanaged-pointers-57] Неуправляемые указатели/Smalltalk. В Smalltalk есть возможность низкоуровневой работы с памятью, но только в адресном пространстве, предоставляемом виртуальной машиной.

[58] unsafe + System.Runtime.InteropServices

[smalltalk-manual-memory-management-59] Ручное управление памятью/Smalltalk. При низкоуровневой работе в пространстве памяти, предоставляемом виртуальной машиной, можно вручную создавать и удалять объекты, записывая данные в соответствующие адреса памяти. Аналогично можно вручную управлять размещением объектов в памяти.

[ada-garbage-collector-60] Сборка мусора/Ada. Только на некоторых платформах (.NET и JVM) или при помощи библиотек (AdaCL:GC). Тем не менее, практически все программы на Ada могут работать как с ним, так и без него. В этом смысле к сборке мусора применительно к Аде следует относиться не как к инженерному решению, а как к оптимизации управления памятью.

[c-cpp-garbage-collector-61] ¹ ² Сборка мусора/C и C++. В стандарте языка и в стандартных библиотеках нет сборки мусора. Однако существуют сборщики мусора для C и C++ в виде библиотек. Например, BoehmGC (англоязычный раздел).

[delphi-garbage-collector-62] Сборка мусора/Delphi. Если не считать Delphi.NET.

[java-goto-63] Инструкция goto/Java. Является зарезервированным словом.

[64] Специальный оператор GO. Все конструкции циклов в CL, фактически, являются макросами-надстройками над этой инструкцией.

[ruby-goto-65] Инструкция goto/Ruby. В языке goto нет, но есть библиотека реализующая его.

[smalltalk-goto-66] Инструкция goto/Smalltalk. В стандарте языка goto нет, но существуют библиотеки, реализующие функционал goto через управление стеком исполнения. Используются крайне редко, это скорее proof of concept(англ.).

[67] Макрос RETURN. Фактически, является частным случаем RETURN-FROM.

[68] заменяется исключениями, также реализуется с помощью Camlp4 http://code.google.com/p/ocaml-break-continue/

[69] Специальный оператор RETURN-FROM

[eiffel-try-cacth-70] Можно либо повторить выполнение метода, либо пробросить исключение далее

[Lisp-conditions-71] ¹ ² Java-style try-catch блок реализуется макросом handler-case. Кроме того, в возможности системы обработки исключений Common Lisp входит система т.н. перезапусков(restarts), которые позволяют обрабатывать исключения "изнутри" без раскрутки стека вызовов функций

[perl-try-cacth-72] При помощи оператора eval

[ada-finally-73] Блок finally/Ada. В стандарте языка finally нет, но существуют библиотеки, реализующие функционал finally. Используются крайне редко, это скорее proof of concept(англ.).

[js_finally-74] [4]

[75] Специальный оператор UNWIND-PROTECT

[76] реализуется на camlp4 http://bluestorm.info/camlp4/dev/try/pa_tryfinally.ml.html

[java-try-cacth-catch-77] При помощи нескольких последовательных catch

[perl-try-cacth-or-78] При помощи eval or {...}

[perl-resumable-exceptions-79] Частично реализуются нестандартным модулем Runops::Resume

[csharp-lazy-80] Конструкции yield return, запросы LINQ, в FCL 4.0 войдёт тип Lazy.

[fsharp-lazy-81] Seq-генераторы, модуль Lazy стандартной библиотеки F#.

[82] Однако, данную возможность можно реализовать на макросах

[.D0.9A.D0.BE.D0.BD.D1.81.D1.82.D1.80.D1.83.D0.BA.D1.86.D0.B8.D0.B8_Linq-83] Конструкции Linq.

[ocaml-lazy-84] модуль Lazy стандартной библиотеки Ocaml.

[85] Реазилуется сторонними библиотеками, например cl-cont

[86] Только для байт-кода http://okmij.org/ftp/Computation/Continuations.html#caml-shift

[java-green-threads-87] Легковесные процессы/Java. Вплоть до Java 1.1.

[88] Только в некоторых реализациях.

[perl-lightweights-threads-89] Следует заметить что это не стандартные легкие процессы [5]

[python-green-threads-90] Легковесные процессы/Python. Используя Stackless Python.

[ocaml-green-threads-91] Монадические потоки выполнения, реализованы в библиотеке Lwt

[cpp-tuples-92] Кортежи/C++. Реализуются в стандартной библиотеке (появились в TR1 (англоязычный раздел), до этого в boost).

[dotnet-tuples-93] ¹ ² Кортежи/.NET. С помощью типов System.Tuple<T,...> введёных в FCL 4.0.

[adt-variant-94] ¹ ² Алгебраические типы данных/Ada и Delphi. Через механизм вариантных записей.

[adt-dynamic-95] ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ В динамических языках механизм алгебраических типов данных не имеет смысла.

[haskell-range-check-96] ¹ ² ³ ⁴ ⁵ Массива/Haskell. В языке не существует понятия "массив", вместо которого есть понятие "список".

[97] Динамические массивы/C. "Из коробки" данной возможности нет, однако похожий функционал можно реализовать, используя функцию realloc.

[98] Контроль границы массивов/С++. Для массивов контроля нет, однако в STL входит шаблон std::vector в который может быть встроен контроль границ (в перегрузку оператора индексации).

[perl-php-range-check-99] ¹ ² ³ Контроль границ массивов/Perl, PHP и JavaScript. В языке нет массивов со статическими границами, присваивание элементу за текущими границами массива просто расширяет границы массива.

[100] Контроль границ массивов/Ocaml. Можно отключить на этапе компиляции с помощью ключа -unsafe

[ada-foreach-101] Цикл foreach/Ada. Методы Iterate и Reverse_Iterate различных контейнеров, входящих в библиотеку Ada.Containers.

[.D0.A1.2B.2B-foreach-102] Цикл foreach/C++. Алгоритм for_each из библиотеки STL.

[erlang-foreach-103] Цикл foreach/Erlang. В виде функции foreach/3 из модуля lists.

[javascript-foreach-104] Цикл foreach/JavaScript. С версии 1.6[6].

[lisp-foreach-105] Цикл foreach/Lisp. Макрос LOOP в составе стандартной библиотеки. Представляет собой "язык в языке" с большим количеством возможностей.

[106] List comprehensions/C#. "Query Comprehension" можно считать за List Comprehension только с большой натяжкой.

[dotnet-bignum-107] ¹ ² ³ Целые числа произвольной длины/.NET. Посредством типа System.Numerics.BigInteger, включенного в FCL версии 4.0.

[108] Целые числа произвольной длины/Java. С помощью классов BigInteger и BigDecimal.

[109] Целые числа произвольной длины/Scala. С помощью классов BigInteger и BigDecimal.

[110] Целые числа произвольной длины/OCaml. В помощью модуля Num и Big_int.

[111] Пример: Тип (INTEGER 0 9) включает в себя все цифры от 0 до 9

[112] Целые числа произвольной длины/Perl. С помощью модуля Tie::Scalar.

[113] Похожий функционал реализуется макросами и средствами CLOS.

[114] Через множественное наследование от классов с методами-заготовками. См. [7]

[Java-Perl-Python-Ruby_multiple_dispatch-115] ¹ ² ³ ⁴ Реализуется сторонними библиотеками

[delphi-mixin-116] Подмешивание реализации интерфейсов через ключевое слово implements. См. страницы 10-7 и 10-8 в Object Pascal Guide.

[cpp-dual-inherit-117] Только совместное использование посредством виртуального наследования

[eiffel-dual-inherit-118] Для каждого члена класса - выбор дублирование (через переименование), или слияние (иначе, если не было переопределения)

[119] [8]

[120] ttp://www.digitalmars.com/d/2.0/function.html#pure-functions

[121] в форме указателей на функции

[122] указатели на методы

[delphi-lexical-closure-123] ¹ ² ³ Появились в Delphi2009, как анонимные функции.

[124] Анонимные делегаты присутствуют в языке с версии 2.0. В C# 3.0 появились полноценные анонимные функции.

[125] Макрос LAMBDA

[126] Макросы/C. Посредством препроцессора C.

[127] Макросы/C++. Шаблоны C++ (изначально предназначенных для обобщенного программирования) возможно применять для метапрограммирования.

[128] Макросы/D. С++-подобные шаблоны.

[129] Макросы/Haskell. Template Haskell - препроцессор, встроенный в GHC.

[130] Штатный препроцессор camlp4

[generics_dyn-131] ¹ ² ³ ⁴ ⁵ ⁶ ⁷ Неприменимо в языках с динамической типизацией.

[132] Generics/Haskell. Прямых аналогов шаблонов в языке нет, однако имеются не менее мощные средства обобщенного программирования.

[133] Generics/Delphi. Доступно начиная с Delphi 2009.

[134] Unicode в идентификаторах/C. Доступно в компиляторах gcc начиная с 4.2

[135] Unicode в идентификаторах/C++. Доступно в компиляторах от MS, начиная с MSVS++ 2005 и в gcc начиная с 4.2

[136] В большинстве современных реализаций

[137] Unicode в идентификаторах/Python. Доступно начиная с Python 3.0.

[138] Unicode в идентификаторах/Ruby. Доступно начиная с Ruby 1.9.

[139] Перегрузка функций/JavaScript. Можно сымитировать, используя проверку передаваемых параметров с помощью рефлексии.

[140] Обобщенные функции можно перегружать по типам или значениям нескольких параметров

[perl_peak-141] Только перегрузка операторов [9].

[python_peak-142] ¹ ² Перегрузка функций и сопоставление с образцом/Python. Реализовано в сторонней библиотеке PEAK-rules.

[143] макросы DEFVAR и DEFPARAMETER, а также декларация SPECIAL, создают динамические биндинги.

[charp_args-144] ¹ ² Именованные аргументы и параметры по умолчанию/C#. Доступно начиная с C# 4.0.

[145] Именованные параметры/JavaScript. Можно сымитировать, передав в качестве параметра функции JSON-объект: f ({param1: "value1", param2: "value2"}).

[146] Спецификатор "&key" в списке аргументов объявляемой функции объявляет именованный параметр.

[147] Именованные параметры/Smalltalk. Можно называть методы в стиле сделатьЧтоНибудьС:используя:и: - в таком случае двоеточия обозначают места, куда будут подставляться параметры при вызове метода, например сделатьЧтоНибудьС: парам1 используя: парам2 и: парам3. Названия подбирают таким образом, чтобы при вызове было понятно, для чего будут использоваться параметры.

[148] Именованные параметры/Delphi: Могут использоваться при вызове OLE: Word.Openfile(filename='1.doc')

[149] Значения параметров по умолчанию/Erlang. Можно сымитировать с помощью арности функции.

[150] "&key" и "&optional" параметры допускают значения по умолчанию

[151] Значения параметров по умолчанию/Perl. Можно элементарно сымитировать, см. [10].

[152] Локальные функции/С. Поддерживаются в компиляторе gcc как нестандартное расширение языка, см. [11].

[153] Локальные функции/С++. Поддерживаются в виде методов локальных классов

[java-anonymous-class-154] Локальные функции/Java. Внутри метода можно определять безымянные (анонимные) локальные классы, которые фактически позволяют создавать экземпляры объектов, перекрывающие методы своего класса.

[155] Cпециальный оператор LABELS

[156] EQL спецификатор в обобщенных функциях можно рассматривать как аналог некоторого подмножества функциональности сопоставления с образцом

[dotnet-contract-157] ¹ ² ³ Посредством библиотеки Code Contracts из состава FCL 4.0.

[158] Контрактное программирование/Java. На основе аннотаций Java 5, используя библиотеку OVal и аспектный компилятор AspectJ.

[159] Контрактное программирование/Haskell. Посредством библиотеки QuickCheck.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

[48]

[49]

[50]

[51]

[52]

[53]

[54]

[55]

[56]

[57]

[58]

[59]

[60]

[61]

[62]

[63]

[64]

[65]

[66]

[67]

[68]

[69]

[70]

[71]

[72]

[73]

[74]

[75]

[76]

[77]

[78]

[79]

[80]

[81]

[82]

[83]

[84]

[85]

[86]

[87]

[88]

[89]

[90]

[91]

[92]

[93]

[94]

[95]

[96]

[97]

[98]

[99]

[100]